#include <stdio.h>
int main() {
  int m, n;
  scanf("%d%d", &m, &n);
  printf("%d\n", m * n / 2);
  return 0;
}